Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
نویسندگان
چکیده
منابع مشابه
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which have mixed rank 0-1 axiomatizations. We will see that Heyting algebras are special in that they are...
متن کاملOn finitely generated Heyting algebras
We study finitely generated Heyting algebras from algebraic and model theoretic points of view. We prove amon others that finitely generated free Heyting algebras embed in their profinite completions, which are projective limits of finitely generated free Heyting algebras of finite dimension.
متن کاملFinitely generated free Heyting algebras: the well-founded initial segment
In this paper we describe the well-founded initial segment of the free Heyting algebra Aα on finitely many, α, generators. We give a complete classification of initial sublattices of A2 isomorphic to A1 (called ‘low ladders’), and prove that for 2 ≤ α < ω, the height of the wellfounded initial segment of Aα is ω.
متن کاملFinitely Presented Heyting Algebras
In this paper we study the structure of finitely presented Heyting algebras. Using algebraic techniques (as opposed to techniques from proof-theory) we show that every such Heyting algebra is in fact coHeyting, improving on a result of Ghilardi who showed that Heyting algebras free on a finite set of generators are co-Heyting. Along the way we give a new and simple proof of the finite model pro...
متن کاملOn Bellissima's construction of the finitely generated free Heyting algebras, and beyond
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2011
ISSN: 1860-5974
DOI: 10.2168/lmcs-7(2:9)2011